granite mining process